Andrea Asperti: որոնել Z-Library կայքում

Գիտելիքների և մշակույթի ազատ հասանելիություն:

Don't use scam websites

Գրքեր (22)
Ամենահայտնի
Ցուցակ
- Ցուցակ
- Աղյուսակ

1

Categories, types, and structures. Introduction to category theory for computer scientists

Categories, types, and structures. Introduction to category theory for computer scientists

Andrea Asperti, Giuseppe Longo

Տարի:

1991

Լեզու:

english

Ֆայլ:

PDF, 2.41 MB

0 / 0

english, 1991

2

The optimal implementation of functional programming languages

The optimal implementation of functional programming languages

Cambridge University Press

Andrea Asperti, Stefano Guerrini

Տարի:

1999

Լեզու:

english

Ֆայլ:

PDF, 3.38 MB

0 / 0

english, 1999

3

Logica a informatica

Logica a informatica

Andrea Asperti, Agata Ciabattoni

Տարի:

1997

Լեզու:

italian

Ֆայլ:

PDF, 909 KB

0 / 0

italian, 1997

4

Categories, Types, and Structures: An Introduction to Category Theory for the Working Computer Scientist (Foundations of Computing Series)

Categories, Types, and Structures: An Introduction to Category Theory for the Working Computer Scientist (Foundations of Computing Series)

Andrea Asperti, Giuseppe Longo

Տարի:

1991

Լեզու:

english

Ֆայլ:

PDF, 1.60 MB

0 / 3.0

english, 1991

5

Categories, types, and structures : an introduction to category theory for the working computer scientist

Categories, types, and structures : an introduction to category theory for the working computer scientist

Տարի:

1991

Լեզու:

english

Ֆայլ:

PDF, 1.60 MB

0 / 5.0

english, 1991

6

The Optimal Implementation of Functional Programming Languages

The Optimal Implementation of Functional Programming Languages

Cambridge University Press

Andrea Asperti, Stefano Guerrini

Տարի:

1998

Լեզու:

english

Ֆայլ:

PDF, 3.38 MB

0 / 0

english, 1998

7

Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95 Edinburgh, United Kingdom, April 10–12, 1995 Proceedings

Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95 Edinburgh, United Kingdom, April 10–12, 1995 Proceedings

Springer-Verlag Berlin Heidelberg

Andrea Asperti, Cosimo Laneve (auth.), Mariangiola Dezani-Ciancaglini, Gordon Plotkin (eds.)

Տարի:

1995

Լեզու:

english

Ֆայլ:

DJVU, 3.54 MB

0 / 0

english, 1995

8

Categories, types, and structures : an introduction to category theory for the working computer scientist

Categories, types, and structures : an introduction to category theory for the working computer scientist

Տարի:

1991

Լեզու:

english

Ֆայլ:

PDF, 39.09 MB

0 / 4.5

english, 1991

9

The Optimal Implementation of Functional Programming Languages

The Optimal Implementation of Functional Programming Languages

Andrea Asperti, Stefano Guerrini

Տարի:

1999

Լեզու:

english

Ֆայլ:

AZW3 , 2.47 MB

0 / 0

english, 1999

10

Mathematical Knowledge Management: Third International Conference, MKM 2004, Białowieża, Poland, September 19-21, 2004. Proceedings

Mathematical Knowledge Management: Third International Conference, MKM 2004, Białowieża, Poland, September 19-21, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Andrew A. Adams, James H. Davenport (auth.), Andrea Asperti, Grzegorz Bancerek, Andrzej Trybulec (eds.)

Տարի:

2004

Լեզու:

english

Ֆայլ:

PDF, 3.73 MB

0 / 0

english, 2004

11

Logic, Language, Information and Computation: 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings

Logic, Language, Information and Computation: 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Andrea Asperti, Wilmer Ricciotti (auth.), Luke Ong, Ruy de Queiroz (eds.)

Տարի:

2012

Լեզու:

english

Ֆայլ:

PDF, 3.74 MB

0 / 0

english, 2012

12

The Optimal Implementation of Functional Programming Languages

The Optimal Implementation of Functional Programming Languages

Cambridge University Press

Andrea Asperti, Stefano Guerrini

Տարի:

1998

Լեզու:

spanish

Ֆայլ:

PDF, 3.35 MB

0 / 0

spanish, 1998

13

The Optimal Implementation of Functional Programming Languages

The Optimal Implementation of Functional Programming Languages

Cambridge University Press

Andrea Asperti, Stefano Guerrini

Տարի:

1998

Լեզու:

english

Ֆայլ:

LIT , 2.17 MB

0 / 0

english, 1998

14

The Optimal Implementation of Functional Programming Languages

The Optimal Implementation of Functional Programming Languages

Cambridge University Press

Andrea Asperti, Stefano Guerrini

Տարի:

1998

Լեզու:

english

Ֆայլ:

FB2 , 3.35 MB

0 / 0

english, 1998

15

The Optimal Implementation of Functional Programming Languages

The Optimal Implementation of Functional Programming Languages

Cambridge University Press

Andrea Asperti, Stefano Guerrini

Տարի:

1998

Լեզու:

english

Ֆայլ:

MOBI , 2.46 MB

0 / 0

english, 1998

16

Mathematical Knowledge Management: Second International Conference, MKM 2003 Bertinoro, Italy, February 16–18, 2003 Proceedings

Mathematical Knowledge Management: Second International Conference, MKM 2003 Bertinoro, Italy, February 16–18, 2003 Proceedings

Springer-Verlag Berlin Heidelberg

Andrew A. Adams (auth.), Andrea Asperti, Bruno Buchberger, James Harold Davenport (eds.)

Տարի:

2003

Լեզու:

english

Ֆայլ:

PDF, 2.02 MB

0 / 0

english, 2003

17

Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, HOA'93 Amsterdam, The Netherlands, September 23–24, 1993 Selected Papers

Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, HOA'93 Amsterdam, The Netherlands, September 23–24, 1993 Selected Papers

Springer-Verlag Berlin Heidelberg

Andrea Asperti, Cosimo Laneve (auth.), Jan Heering, Karl Meinke, Bernhard Möller, Tobias Nipkow (eds.)

Տարի:

1994

Լեզու:

english

Ֆայլ:

DJVU, 2.66 MB

0 / 0

english, 1994

18

Mathematical Knowledge Management: Third International Conference, MKM 2004, Białowieża, Poland, September 19-21, 2004. Proceedings

Mathematical Knowledge Management: Third International Conference, MKM 2004, Białowieża, Poland, September 19-21, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Andrew A. Adams, James H. Davenport (auth.), Andrea Asperti, Grzegorz Bancerek, Andrzej Trybulec (eds.)

Տարի:

2004

Լեզու:

english

Ֆայլ:

PDF, 7.54 MB

0 / 0

english, 2004

19

Logic, Language, Information and Computation: 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings

Logic, Language, Information and Computation: 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Andrea Asperti, Wilmer Ricciotti (auth.), Luke Ong, Ruy de Queiroz (eds.)

Տարի:

2012

Լեզու:

english

Ֆայլ:

PDF, 3.72 MB

0 / 0

english, 2012

20

Mathematical Knowledge Management: Second International Conference, MKM 2003 Bertinoro, Italy, February 16–18, 2003 Proceedings

Mathematical Knowledge Management: Second International Conference, MKM 2003 Bertinoro, Italy, February 16–18, 2003 Proceedings

Springer-Verlag Berlin Heidelberg

Andrew A. Adams (auth.), Andrea Asperti, Bruno Buchberger, James Harold Davenport (eds.)

Տարի:

2003

Լեզու:

english

Ֆայլ:

PDF, 2.91 MB

0 / 0

english, 2003

21

Mathematical Knowledge Management: Second International Conference, MKM 2003 Bertinoro, Italy, February 16–18, 2003 Proceedings

Mathematical Knowledge Management: Second International Conference, MKM 2003 Bertinoro, Italy, February 16–18, 2003 Proceedings

Springer-Verlag Berlin Heidelberg

Andrew A. Adams (auth.), Andrea Asperti, Bruno Buchberger, James Harold Davenport (eds.)

Տարի:

2003

Լեզու:

english

Ֆայլ:

PDF, 2.54 MB

0 / 0

english, 2003

22

Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95 Edinburgh, United Kingdom, April 10–12, 1995 Proceedings

Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95 Edinburgh, United Kingdom, April 10–12, 1995 Proceedings

Springer-Verlag Berlin Heidelberg

Andrea Asperti, Cosimo Laneve (auth.), Mariangiola Dezani-Ciancaglini, Gordon Plotkin (eds.)

Տարի:

1995

Լեզու:

english

Ֆայլ:

PDF, 6.89 MB

0 / 0

english, 1995